]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
dash: Make padding even on the top/bottom of the dash
authorJasper St. Pierre <jstpierre@mecheye.net>
Sat, 22 Sep 2012 17:25:02 +0000 (14:25 -0300)
committerJasper St. Pierre <jstpierre@mecheye.net>
Mon, 1 Oct 2012 09:49:13 +0000 (06:49 -0300)
When Florian landed the new dash container to show the all apps button
always, he got the math wrong -- he forgot to add padding around the
container, and used the height of the box to calculate a y2 position,
rather than the y2 position of the box.

https://bugzilla.gnome.org/show_bug.cgi?id=684619

js/ui/dash.js

index 8ebeddc71e2af6876388a8e6826634410e4e73d0..4367807e6760906a0222d3f854196be636cce680 100644 (file)
@@ -324,22 +324,21 @@ const DashActor = new Lang.Class({
     vfunc_allocate: function(box, flags) {
         let contentBox = this.get_theme_node().get_content_box(box);
         let availWidth = contentBox.x2 - contentBox.x1;
-        let availHeight = contentBox.y2 - contentBox.y1;
 
         this.set_allocation(box, flags);
 
         let [appIcons, showAppsButton] = this.get_children();
-        let [minHeight, natHeight] = showAppsButton.get_preferred_height(availWidth);
+        let [showAppsMinHeight, showAppsNatHeight] = showAppsButton.get_preferred_height(availWidth);
 
         let childBox = new Clutter.ActorBox();
-        childBox.x1 = 0;
-        childBox.x2 = availWidth;
-        childBox.y1 = 0;
-        childBox.y2 = availHeight - natHeight;
+        childBox.x1 = contentBox.x1;
+        childBox.y1 = contentBox.y1;
+        childBox.x2 = contentBox.x2;
+        childBox.y2 = contentBox.y2 - showAppsNatHeight;
         appIcons.allocate(childBox, flags);
 
-        childBox.y1 = availHeight - natHeight;
-        childBox.y2 = availHeight;
+        childBox.y1 = contentBox.y2 - showAppsNatHeight;
+        childBox.y2 = contentBox.y2;
         showAppsButton.allocate(childBox, flags);
     }
 });